@echo off

SET LPG=..\..\!Tools\LPG-TD

SET INPUT=example\ex-jacrim.pddl
rem SET INPUT=example\mini-jacrim-auto.pddl
SET PARAM=%1 %2 %3 %4 %5 %6

del %INPUT%_*.SOL

%LPG%\lpg-td-1.0.exe -o example\ex-tropos-domain.pddl -f %INPUT% -out %INPUT% %PARAM%